11,935 research outputs found
Notes on definably complete locally o-minimal expansions of ordered groups
We study definably complete locally o-minimal expansions of ordered groups in
this paper. A definable continuous function defined on a closed, bounded and
definable set behave like a continuous function on a compact set. We
demonstrate uniform continuity of a definable continuous function on a closed,
bounded and definable set and Arzela-Ascoli-type theorem. We propose a notion
of special submanifolds with tubular neighborhoods and show that any definable
set is decomposed into finitely many special submanifolds with tubular
neighborhoods.Comment: arXiv admin note: text overlap with arXiv:2010.0242
Continuous first order logic and local stability
We develop continuous first order logic, a variant of the logic described in
\cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the
same power of expression as the framework of open Hausdorff cats, and as such
extends Henson's logic for Banach space structures. We conclude with the
development of local stability, for which this logic is particularly
well-suited
Non-archimedean tame topology and stably dominated types
Let be a quasi-projective algebraic variety over a non-archimedean valued
field. We introduce topological methods into the model theory of valued fields,
define an analogue of the Berkovich analytification of ,
and deduce several new results on Berkovich spaces from it. In particular we
show that retracts to a finite simplicial complex and is locally
contractible, without any smoothness assumption on . When varies in an
algebraic family, we show that the homotopy type of takes only a
finite number of values. The space is obtained by defining a
topology on the pro-definable set of stably dominated types on . The key
result is the construction of a pro-definable strong retraction of
to an o-minimal subspace, the skeleton, definably homeomorphic to a space
definable over the value group with its piecewise linear structure.Comment: Final versio
- …